Category theory

Results: 1468



#Item
501Politics / Nepalis in Hong Kong / Sociology / Pakistanis in Hong Kong / Minority group / Voting theory / Chinese language

Unison’s Achievements 我們工作 我們工作的 工作的成果 Category 1.

Add to Reading List

Source URL: www.unison.org.hk

Language: English - Date: 2012-06-13 04:52:57
502Water pollution / Water management / Category theory / Drinking water / Subcategory / Stormwater / Reclaimed water / Desalination / Environment / Water / Earth

Issue 8 June 2012 Water Information Bulletin Background

Add to Reading List

Source URL: www.bom.gov.au

Language: English - Date: 2012-06-19 02:45:05
503Homotopy theory / Homology theory / Homological algebra / Binary operations / Cohomology / Rational homotopy theory / Cup product / Chain complex / Model category / Abstract algebra / Topology / Algebraic topology

THE STABLE FREE RANK OF SYMMETRY OF PRODUCTS OF SPHERES BERNHARD HANKE A BSTRACT. A well known conjecture in the theory of transformation groups states that if p is a prime and (Z/p)r acts freely on a product of k sphere

Add to Reading List

Source URL: www.math.uni-augsburg.de

Language: English - Date: 2013-12-05 22:03:02
504Alexius Meinong / Existence / Stoic Categories / Stoicism / Empty name / Category of being / Substance theory / Being / Reality / Ontology / Metaphysics / Philosophy

Entia rationis. History of the Theories of Non-Existent Objects

Add to Reading List

Source URL: www.ontologymirror.com

Language: English - Date: 2013-12-29 03:26:00
505Semigroup theory / Formal languages / Algebraic structures / Combinatorics on words / Monoid / Free monoid / Category / Refinement monoid / Abstract algebra / Algebra / Category theory

Sage Reference Manual: Monoids Release 6.6.beta0 The Sage Development Team February 21, 2015

Add to Reading List

Source URL: sagemath.org

Language: English - Date: 2015-02-21 07:35:19
506Theoretical computer science / Category theory / Quiver / Representation theory / Sage / Directed graph / Semigroup / Mathematics / Mathematical software / Algebraic structures

Sage Reference Manual: Quivers Release 6.6.beta0 The Sage Development Team February 21, 2015

Add to Reading List

Source URL: sagemath.org

Language: English - Date: 2015-02-21 07:35:22
507Sheaf theory / Topos / Category theory / Category of sets / Set theory / Class / Mathematical object / Sheaf / Theory / Mathematics / Mathematical logic / Logic

Category theory as an autonomous foundation Abstract Does category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish three

Add to Reading List

Source URL: www.oysteinlinnebo.org

Language: English - Date: 2013-07-31 14:44:38
508Sheaf theory / Heyting algebra / Lattice theory / Mathematical constructivism / Order theory / Topos / Adjoint functors / Sheaf / Subobject classifier / Category theory / Abstract algebra / Mathematics

arXiv:1403.0020v1 [math.LO] 28 Feb[removed]Topos Semantics for Higher-Order Modal Logic Steve Awodey∗ Kohei Kishida†

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2014-07-29 07:19:05
509Mathematics / Monoid / Hopf algebra / Semigroup / Associative algebra / Coalgebra / Graded algebra / Von Neumann algebra / Category of rings / Abstract algebra / Algebra / Algebraic structures

Sage Reference Manual: Category Theory Release 6.6.beta0 The Sage Development Team

Add to Reading List

Source URL: sagemath.org

Language: English - Date: 2015-02-21 07:35:21
510Functional programming / Measurement / Michael Zgurovsky / Category theory / International Council for Science / Science / Coinduction / Global Earth Observation System of Systems / International System of Units / International standards / International relations / Committee on Data for Science and Technology

Microsoft Word - CODATA_liaison_rep2008.doc

Add to Reading List

Source URL: www.iugg.org

Language: English - Date: 2012-07-28 17:26:15
UPDATE